Categorical Pullbacks
نویسندگان
چکیده
منابع مشابه
Categorical Pullbacks
The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [6] within a free-object category [15] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property, and the Pullback L...
متن کاملPushouts, Pullbacks and Their Properties
Graph rewriting has numerous applications, such as software engineering and biology techniques. This technique is theoretically based on pushouts and pullbacks, which are involved with given categories. This paper deals with the definition of pushout and pullback, and their properties.
متن کاملModular System Development with Pullbacks
Two, seemingly different modular techniques for concurrent system development are investigated from a categorical perspective. A novel approach is presented in which they turn out to be merely special instances of pullback, a general categorical limit construction. Interestingly, the approach is based on truly concurrent semantics of systems. 1 Mathematical Preliminaries A transition system is ...
متن کاملOn t-reductions of ideals in pullbacks
Let R be an integral domain and I a nonzero ideal of R. An ideal J ⊆ I is a t-reduction of I if (JI)t = (I)t for some positive integer n; and I is t-basic if it has no t-reduction other than the trivial ones. This paper investigates t-reductions of ideals in pullback constructions of type . Section 2 examines the correlation between the notions of reduction and t-reduction in pseudo-valuation d...
متن کاملRobust Image-Based IVUS Pullbacks Gating
Intracoronary UltraSound (IVUS) imaging allows to obtain high resolution images of internal part of coronary arteries. This tool is unique in the possibility to explore internal vessel structures of the coronary wall, being a powerful tool for diagnosis. Since the coronary vessel is moving due to the periodical contraction and expansion of heart muscles, the acquired images present different ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2015
ISSN: 1898-9934
DOI: 10.2478/forma-2015-0001